Function type - PDFSEARCH.IO - Document Search Engine

Function type
Results: 893

#	Item
861	Productive Coprogramming with Guarded Recursion Robert Atkey Add to Reading List Source URL: bentnib.org Language: English - Date: 2013-07-17 15:22:25 Lambda calculus Predicate logic Symbol Fixed-point combinator Model theory Quantification Function Combinatory logic Type system Mathematical logic Mathematics Logic
862	The 30 Year Horizon M anuel Bronstein James Davenport Add to Reading List Source URL: axiom.axiom-developer.org Language: English - Date: 2012-06-11 00:44:47 Logic Function Type theory Algorithm Axioms of set theory Mathematics Axiom Mathematical logic
863	Evolving a Fuzzy Controller for a Car Racing Competition Diego Perez, Gustavo Recio, Yago Saez, Member, IEEE, Pedro Isasi, Member, IEEE Abstract— Computational intelligence competitions have recently gained a lot of interest. These contests motivate and Add to Reading List Source URL: www.ieee-cig.org Language: English - Date: 2009-09-25 03:00:02 Mathematical logic Science Fuzzy control system Intelligent control Computational intelligence Fuzzy set Membership function Genetic algorithm Type-2 fuzzy sets and systems Artificial intelligence Logic Fuzzy logic
864	The Girard-Reynolds Isomorphism1 Philip Wadler Avaya Labs Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2004-05-05 10:17:59 Theoretical computer science Type theory Model theory Logic in computer science Dependently typed programming First-order logic Combinatory logic System F Function Mathematical logic Mathematics Lambda calculus
865	Dependently Typed Programming in Agda Ulf Norell1 and James Chapman2 1 Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2013-01-03 03:47:11 Programming language theory Data types Functional programming Functional languages Type system Agda Intuitionistic type theory Dependent type Function Software engineering Declarative programming Type theory
866	PDF Document Add to Reading List Source URL: static.red-lang.org Language: English - Date: 2012-12-06 18:44:26 Data types Type theory Subroutines C++ Primitive types C++ classes C Parameter Variadic function Software engineering Computing Computer programming
867	PDF Document Add to Reading List Source URL: research.microsoft.com Language: English - Date: 1997-05-21 09:16:14 Computing Data types Procedural programming languages Generic programming Program analysis Type system ALGOL 68 Function Lambda calculus Software engineering Programming language theory Type theory
868	PDF Document Add to Reading List Source URL: julialang.org Language: English - Date: 2013-10-16 00:19:44 Type theory Data types Object-oriented programming Subroutines Method Covariance and contravariance Type system Polymorphism Anonymous function Software engineering Computing Computer programming
869	PDF Document Add to Reading List Source URL: agi-conf.org Language: English - Date: 2009-05-19 04:45:33 Type theory Computability theory Functions and mappings Recursion Lambda calculus Administrative normal form Type system Function Primitive recursive function Mathematics Mathematical logic Software engineering
870	Microsoft Word - abstraction and machine Add to Reading List Source URL: www.stroustrup.com Language: English - Date: 2012-10-03 14:24:45 C++ Generic programming Template C Inline expansion Pointer Inline function Virtual method table Type safety Software engineering Computer programming Computing

UPDATE